KnuthBendix completion algorithm

#	Item
11	A. Proofs For simplicity, we only consider the unary and binary unlifting functions. Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2015-08-28 07:14:21 Parametricity Polymorphism Type theory Ring KnuthBendix completion algorithm
12	Chapter VI Second Order Evolution Equations 1 Add to Reading List Source URL: ejde.math.unt.edu Language: English - Date: 2001-08-15 01:00:00 Calculus Mathematics Mathematical analysis Operator theory Linear algebra Wave equation Heat equation Change of variables Hilbert space Partial differential equation KnuthBendix completion algorithm
13	Radboud University Automatic Geometric Theorem Proving using Gr¨obner Bases Bachelor’s Thesis Mathematics Add to Reading List Source URL: www.math.kun.nl Language: English - Date: 2008-10-15 02:58:56 Polynomials Commutative algebra Invariant theory Computer algebra Algebraic geometry Polynomial ring Monomial order Polynomial Grbner basis KnuthBendix completion algorithm
14	PDF Document Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2001-04-28 18:09:14 Combinatorics on words Geometric group theory Formal languages Group theory Hyperbolic geometry Hyperbolic group Presentation of a group Omega language Cayley graph Structure KnuthBendix completion algorithm Context-sensitive grammar